1. Interactive Markov chains : the quest for quantified quality
Author: Hermanns, Holger, 7691-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Markov processes
Classification :
QA
76
.
L28
Vol
.
2428
2. Lectures on formal methods and performance analysis
Author: / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
F67
,
E34
,
2000
3. Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Author: Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(
Classification :
QA
76
.
L28
Vol
.
2090
4. 18, 2011. Proceedings-Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14
Author: / Holger Hermanns (auth.), Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
5. Process algebra and probabilistic methods
Author: / Holger Hermanns, Roberto Segala, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
Classification :
QA
,
267
,.
P362
,
2002
6. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Author: Holger Hermanns, Roberto Segala, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2399
